41. <The> Elements of Advanced Mathematics
Author: \ Steven G. Krantz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
Classification :
E-Book
,
42. <The> Essential Turing
Author: \ Edited by B. Jack Copeland
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ت‍ری‍ن‍گ، آل‍ن م‍ات‍ی‍س‍ن، ۱۹۱۲ - ۱۹۵۴م.
Classification :
E-Book
,
43. <The> Logical Foundations of Scientific Theories
Author: \ Décio Krause and Jonas R. B. Arenhart
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,منطق ریاضی
Classification :
E-Book
,
44. Towards Mathematical Philosophy
Author: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
Classification :
E-Book
,
45. Tracking Reason
Author: \ Jody Azzouni.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
Classification :
QA9
.
54
.
A99T7
2006
46. Tractatus Logico-Philosophicus
Author: \ Ludwig Wittgenstein; translated by D.F. Pears and B.F. McGuinness; with an introduction by Bertrand Russell.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical.,Language and logic.,منطق ریاضی ,زبان و منطق
Classification :
B3376
.
W56T73
2014
47. Understanding symbolic logic
Author: / Virginia Klenk
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical
Classification :
BC135
.
K53
48. What Logics Mean
Author: / James W. Garson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
Classification :
BC71
.
G37
2013
49. Wittgenstein and the End of Philosophy
Author: \ Daniel D. Hutto
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م. . پ‍ژوه‍ش‍ه‍ای فلسفی
Classification :
E-Book
,
50. Word and Object
Author: / Willard Van Orman Quine
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantics (Philosophy),Logic, Symbolic and mathematical,Language and languages - Philosophy,معنی شناسی (فلسفه),منطق ریاضی,زبان - فلسفه
Classification :
B840
.
Q5
1969
51. تقابل منطق قدیم وجدید
Author: / هنری ویچ,ویچ,Veatch
Library: ()
Subject: منطق,Logic,منطق ریاضی,Logic, Symbolic and mathematical, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures,a02,a02,a05,a05
Classification :
BC
۷۸
/
م
۹
و
۹ ۱۳۹۸
52. تقابل منطق قدیم وجدید
Author: /هنری ویچ,ویچ,Veatch
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق,Logic,منطق ریاضی,Logic, Symbolic and mathematical, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures,a02,a02,a05,a05
Classification :
BC
۷۸
/
ف
۲
و
۹ ۱۳۹۸
53. تقابل منطق قدیم وجدید: جستارهایی مقایسهای در فلسفه و منطق
Author: /هنری ویچ,ویچ,Veatch
Library: Shahid Motahari Library (Tehran)
Subject: منطق,Logic,منطق ریاضی,Logic, Symbolic and mathematical, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures,a02,a05
Classification :
BC
۷۸
/
ف
۲
و
۹ ۱۳۹۷
54. درآمدی به منطق جدید
Author: / نویسنده: ضیاء موحد.,ص. ع. ب‍ه‌ان‍گ‍ل‍ی‍س‍ی:Zia Movahhed. An introduction to modern logic.,موحد
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: منطق ریاضی,Logic, symbolic and mathematical,a06,a06
Classification :
QA
۹
/
م
۸۵
د
۴ ۱۳۶۸
55. درآمدی به منطق جدید
Author: /نویسنده ضیاء موحد.,موحدمحمدی
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,a06,a06
Classification :
QA
۹
/
م
۹
د
۴ ۱۳۹۸
56. رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی
Author: / لودویگ ویتگنشتاین,عنوان اصلی: Tractatus logico-philosophicus ,1992.,ویتگنشتاین,Wittgenstein
Library: ()
Subject: زبان و منطق,Language and logic,منطق ریاضی,Logic, Symbolic and mathematical,زبان,Language and languages,فلسفه آلمانی,Philosophy, German, -- فلسفه, -- Philosophy, -- قرن ۲۰م., -- 20th century,a02,a02,a03,a03,a01,a01,a04,a04
Classification :
B
۳۳۷۶
/
و
۹
ر
۵ ۱۳۹۹
57. رساله منطقی ـ فلسفی: فارسی، آلمانی، انگلیسی
Author: / لودویگ ویتگنشتاین,عنوان اصلی: Tractatus logico-philosophicus ,1992.,ویتگنشتاین,Wittgenstein
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: زبان و منطق,Language and logic,منطق ریاضی,Logic, Symbolic and mathematical,زبان,Language and languages,فلسفه آلمانی,Philosophy, German, -- فلسفه, -- Philosophy, -- قرن ۲۰م., -- 20th century
Classification :
B
۳۳۷۶
/
و
۹
ر
۵۲ ۱۴۰۰
58. روش های اثبات
Author: ولمن Velleman دانیل ج. , Daniel J.
Library: Vali Asr University Central Library (Kerman)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
Classification :
QA
9
/
و
8
ر
9
1400
59. روش‌های اثبات
Author: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
Classification :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
60. فلسفه ریاضیات
Author: دامت Dummett ، مایکل ا. ای. , Michael A. E.
Library: Vali Asr University Central Library (Kerman)
Subject: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
Classification :
QA
8/4
/
د
2
ف
8
1397
